Consistency model - PDFSEARCH.IO - Document Search Engine

Consistency model
Results: 268

#	Item
251	Improving Mobile Database Access Over Wide-Area Networks Without Degrading Consistency ∗ Niraj Tolia, M. Satyanarayanan, and Adam Wolbach Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-26 07:06:40 Java platform Relational database management systems Databases JDBC driver Mobile database Database caching Client–server model MySQL Server Computing Software Cross-platform software
252	Phil Bernstein & Sudipto Das Microsoft Research July 10, 2013 Copyright © 2013 Microsoft Corp. 1 Add to Reading List Source URL: www.temple.edu Language: English - Date: 2013-07-18 23:33:32 Data Concurrency control Database management systems Fault-tolerant computer systems Data synchronization Linearizability Replication Consistency model Serializability Transaction processing Data management Computing
253	The UPC Memory Model: Problems and Prospects∗ William Kuchera Charles Wallace Michigan Technological University Houghton, Michigan[removed]USA {wrkucher,wallace}@mtu.edu Add to Reading List Source URL: www.gwu.edu Language: English - Date: 2013-12-04 13:04:25 Barcodes Identifiers Universal identifiers Unified Parallel C Java Memory Model Memory model Universal Product Code Consistency model Shared memory Computing Concurrent computing Parallel computing
254	On Consistency of Encrypted Files Alina Oprea1 and Michael K. Reiter2 1 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-07-31 20:53:46 Computer architecture Cryptographic software Special purpose file systems Concurrency control Consistency model File system Encrypting File System Sequential consistency Data integrity Computing Transaction processing Data management
255	Unification in Maude Steven Eker 1 Unification Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-04-09 21:15:33 Logic programming Automated theorem proving Constraint programming Admissible rule Unification Satisfiability Local consistency Mathematical logic Logic Model theory
256	Foundations of the C++ Concurrency Memory Model Hans-J. Boehm Add to Reading List Source URL: rsim.cs.illinois.edu Language: English - Date: 2008-03-30 15:45:18 Concurrency control Computer memory Transaction processing Concurrency Memory model Java Memory Model Parallel computing Consistency model Thread Computing Software engineering Compiler construction
257	On Consistency of Encrypted Files Alina Oprea∗ Michael K. Reiter† March 2005 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-06-29 07:27:04 Data management Cryptographic software Special purpose file systems Concurrency control Consistency model File system Data integrity Linearizability Sequential consistency Computing Transaction processing Computer architecture
258	FORMALIZATION AND VERIFICATION OF SHARED MEMORY Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-01-05 10:38:15 Theoretical computer science Concurrent computing Formal methods Consistency model Transaction processing Sequential consistency Actor model Parallel computing Formal verification Computing Data Logic in computer science
259	Etica & Politica / Ethics & Politics, 2003, 1 Add to Reading List Source URL: www2.units.it Language: English - Date: 2004-01-28 05:21:56 Proof theory Model theory Logic in computer science Metalogic Peano axioms Soundness Axiom Function Consistency Logic Mathematics Mathematical logic
260	CACHE COHERENCE TECHNIQUES FOR MULTICORE PROCESSORS by Add to Reading List Source URL: www8.cs.umu.se Language: English - Date: 2009-02-13 04:23:23 Cache coherency Distributed computing architecture Cache coherence Cache Shared memory Multi-core processor Coherence MOESI protocol Consistency model Concurrent computing Computing Parallel computing

UPDATE